On the Computation of Place Invariants for Algebraic Petri Nets

The paper is concerned with the computation of a generator set for the space of all place invariants for a given algebraic net. We will show that the problem can be divided into two major steps. First we trace back the problem to a set of equations between terms. Then we combine the solutions of these equations to obtain the solution of the original problem. For both steps we present a solution for a restricted class of algebraic nets, where the algebraic specification contains no equations and at most unary operation symbols.